Utilisation de l'algèbre de Boole en logique mathématique
نویسنده
چکیده
منابع مشابه
Logique mathématique et linguistique formelle
Présentation mise à disposition dans l'attente de la parution du volume aux éditions Cassini
متن کاملUne logique conflictuelle selon Carlos Derbez: La dialectique homme-machine
L'article qui suit termine l'exposé de Carlos Derbez sur une logique conflictuelle. Les parties traitées sont la double négation et devenir, puis la méthode de la logique conflictuelle. " Cette logique, synthèse de la logique mathématique et de la dialectique, permet d'établir pas à pas et pour nos situations conflictuelles quotidiennes, les choix clairs sur lesquels est fondée une construction...
متن کاملConception automatisée de modèles de page en vue de leur utilisation en reconnaissance de documents
RÉSUMÉ. Le but de cet article est de décrire un modèle de page utilisé en reconnaissance de documents et sa construction automatisée. Ayant choisi une modélisation fondée sur la perception, l’architecture du modèle se confond avec la description physique des pages. La structure logique est décrite en termes de relations et d’attributs associés aux composants physiques. L’apprentissage est réali...
متن کاملInteraction entre math\'ematique et informatique Libre/Open Source par le logiciel math\'ematique
RÉSUMÉ.— Cet article porte sur l'application du modèle de développement et l'ouverture du code source, disponible et mis en oeuvre par les Logiciels Libres et Open Sources (LL/OS) à la didactique et l'enseignement a la fois des mathé-matiques et l'informatique par la lecture-écriture (L/E) de logiciel mathématique, dont les cas les plus connus sont le calcul numérique et formel. L'article analy...
متن کاملPoincaré ’ S Proof of the so - Called Birkhoff - Witt Theorem
In honor of the 100th birthday of the article, " Sur les groupes continus " Abstract: A methodical analysis of the research related to the article , " Sur les groupes continus " , of Henri Poincaré reveals many historical misconceptions and inaccuracies regarding his contribution to Lie theory. A thorough reading of this article confirms the precedence of his discovery of many important concept...
متن کامل